Satisfiability Modulo ODEs Sicun Gao Soonho Kong Edmund M. Clarke

Source URL: scungao.github.io

• Mathematics
• Mathematical analysis
• Theoretical computer science
• Differential calculus
• Numerical analysis
• Ordinary differential equation
• Taylor's theorem
• Differential-algebraic system of equations
• Satisfiability modulo theories
• PROPT

δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de

Source URL: scungao.github.io

• Theoretical computer science
• Computability theory
• Computational complexity theory
• Theory of computation
• Constructivism
• Fourier analysis
• Formal methods
• Computable number
• Computable analysis
• Computable function
• NC
• Modulus of continuity

Modeling and predicting retweeting dynamics via a mixture process Jinhua Gao, Huawei Shen, Shenghua Liu and Xueqi Cheng , {shenhuawei, liushenghua, cxq}@ict.ac.cn CAS Key Laboratory of Network

Source URL: gdac.uqam.ca

• Digital media
• Social networking services
• World Wide Web
• Software
• Microblogging
• Real-time web
• Blogging
• Facebook
• Reblogging
• Social media
• Twitter
• Economic model

dReach: δ-Reachability Analysis for Hybrid Systems Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke Computer Science Department, Carnegie Mellon University, USA Abstract. dReach is a bounded reachability analysis to

Source URL: scungao.github.io

• Theoretical computer science
• Mathematics
• Dynamical systems
• Systems science
• Control theory
• Hybrid system
• Systems theory
• Satisfiability modulo theories

PDF Document

Source URL: www.gao.gov

PDF Document

Source URL: gao.hkbu.edu.hk

PDF Document

Source URL: www.gao.gov

PDF Document

Source URL: www.gao.gov

PDF Document

Source URL: gao.hkbu.edu.hk

PDF Document

Source URL: www.gao.gov